81. Non-integer order calculus and its applications :
پدیدآورنده : Piotr Ostalczyk, Dominik Sankowski, Jacek Nowakowski, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Calculus, Congresses.,Calculus.,Cybernetics & systems theory.,Imaging systems & technology.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.
رده :
QA303
.
2
82. Noncompact problems at the intersection of geometry, analysis, and topology : proceedings of the Brezis-Browder Conference, Noncompact Variational Problems and General Relativity, October 14-18, 2001, Rutgers, the State University of New Jersey, New Brunswick, NJ
پدیدآورنده : Abbas Bahri, Sergiu Klainerman, Michael Vogelius, editors
کتابخانه: (طهران)
موضوع : Congresses ، Geometry, Differential,Congresses ، Functional analysis,Congresses ، Calculus of variations
رده :
QA
641
.
B73
2001
83. Operational mathematics .
پدیدآورنده : / by Ruel V. Churchill
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (طهران)
موضوع : Integral transforms,Difference equations -- Congresses,calculus opeational
رده :
QA
432
.
C45
1972
84. Operations research and optimization :
پدیدآورنده : Samarjit Kar, Ujjwal Maulik, Xiang Li, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Business logistics, Congresses.,Mathematical optimization, Congresses.,Operations research, Congresses.,Calculus of Variations and Optimal Control; Optimization.,Continuous Optimization.,Discrete Optimization.,Mathematics.,Operations Research, Management Science.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Business logistics.,Calculus of variations.,Mathematical optimization.,Operational research.,Operations research.,Optimization.
رده :
T57
.
6
85. Operator theory in different settings and related applications :
پدیدآورنده : Roland Duduchava, Marinus A. Kaashoek, Nikolai Vasilevski, Victor Vinnikov, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Operator theory, Congresses.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Operator theory.
رده :
QA329
86. Optimal control : calculus of variations, optimal control theory, and numerical methods
پدیدآورنده : edited by R. Bulirsch ... ]et al.[
کتابخانه: (طهران)
موضوع : Calculus of variations - Congresses , Control theory - Congresses , Mathematical optimization - Congresses
رده :
QA
315
.
O68
1991
87. Optimal control : calculus of variations, optimal control theory, and numerical methods
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Calculus of variations-- Congresses,، Control theory-- Congresses,، Mathematical optimization-- Congresses
رده :
QA
315
.
O68
1993
88. Progress in industrial mathematics at ECMI 2016 /
پدیدآورنده : Peregrina Quintela, Patricia Barral, Dolores Gómez, Francisco J. Pena, Jerónimo Rodríguez, Pilar Salgado, Miguel E. Vázquez-Méndez, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering mathematics, Congresses.,Industrial engineering-- Mathematics, Congresses.,Applied mathematics.,Calculus & mathematical analysis.,Engineering mathematics.,Industrial engineering-- Mathematics.,Numerical analysis.,Optimization.,Probability & statistics.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
TA329
89. Recent advances in the study of dental calculus
پدیدآورنده : Edited by J.M. ten Cate; organized by the Research Group on Surface and Colloid Phenomena in the Oral Cavity; under the auspices of the Council of Europe
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Dental Calculus -- Etiology,Dental Calculus -- Prevention & control,Dental Caries,Congresses
رده :
WU
90. Satisfiability problem
پدیدآورنده : / Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Propositional calculus- Congresses,Decision making- Congresses,Computer algorithms- Congresses,Computer science- Congresses
رده :
QA9
.
3
.
S38
1997
91. Satisfiability problem :
پدیدآورنده : Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms, Congresses,Computer science, Congresses,Decision making, Congresses,Propositional calculus, Congresses
رده :
QA9
.
3
.
S38
1997
92. Singularities in PDE and the calculus of variations
پدیدآورنده : Stanley Alama, Lia Bronsard, Peter J. Sternberg, editors
کتابخانه: (طهران)
موضوع : Congresses ، Singularities )Mathematics(,Congresses ، Differential equations, Partial,Congresses ، Calculus of variations
رده :
QC
20
.
7
.
S54S56
93. Theory and applications of satisfiability testing -- SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006 : proceedings
پدیدآورنده : Armin Biere, Carla P. Gomes )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
4121
94. Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
پدیدآورنده : Fahiem Bacchus, Toby Walsh )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
3569
95. Theory and applications of satisfiability testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
پدیدآورنده : Holger H. Hoos, David G. Mitchell )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Propositional calculus,Congresses ، Computer algorithms,Congresses ، Decision making
رده :
QA
76
.
L28
Vol
.
3542
96. Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
پدیدآورنده : Enrico Giunchiglia, Armando Tacchella )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
2919
97. Tools for high performance computing 2017 :
پدیدآورنده : editors, Christoph Niethammer, Michael M. Resch, Wolfgang E. Nagel, Holger Brunst and Hartmut Mix.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : High performance computing, Congresses.,High performance computing.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.
رده :
QA76
.
88
98. Topics in calculus of variations : lectures given at the 2nd 1987 session of the Centro Internationale Mathematico Estivo )C.I.M.E.( held at Montecatini Terme, Italy, July 20-28, 1987
پدیدآورنده : M. Giaguinta )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Calculus of variations
رده :
QA
3
.
L28
Vol
.
1365
99. Topics in calculus of variations: lectures given at the 2nd 1987 session of the Centro Internazionale Matematico Estivo )C.I.M.E.(held at Montecatini Terme, Italy 20-28, 1987
پدیدآورنده : M. Giaquinta )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Calculus of variations
رده :
QA
3
.
L28
no
.
1365
100. Topics in calculus of variations : lectures given at the 2nd 1987 session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, July 20-28, 1987
پدیدآورنده : M. Giaquinta )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Calculus of variations
رده :
QA
315
.
T6
1987
